Lawvere theory

#	Item
21	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2004-10-21 12:10:16 Algebraic topology Adjoint functors William Lawvere Homological algebra Monad Functor Algebra Topos Sheaf Abstract algebra Category theory Mathematics
22	PDF Document Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2005-05-20 10:56:44 Categorical logic William Lawvere Category of sets Topos Categorical set theory Morphism Function Axiom of choice Metric Mathematics Category theory Mathematical logic
23	PDF Document Add to Reading List Source URL: publish.uwo.ca Language: English - Date: 2012-09-08 09:36:38 Categorical logic Theoretical computer science Topos William Lawvere Mathematical constructivism Sheaf Mathematical logic Alexander Grothendieck Set theory Mathematics Category theory Abstract algebra